A modelling approach to multi-domain traceability
نویسنده
چکیده
Traceability is an important concern in projects that span different engineering domains. Traceability can also be mandated, exploited and managed across the engineering lifecycle, and may involve defining connections between heterogeneous models. As a result, traceability can be considered to be multi-domain. This thesis introduces the concept and challenges of multi-domain traceability and explains how it can be used to support typical traceability scenarios. It proposes a model-based approach to develop a traceability solution which effectively operates across multiple engineering domains. The approach introduced a collection of tasks and structures which address the identified challenges for a traceability solution in multi-domain projects. The proposed approach demonstrates that modelling principles and MDE techniques can help to address current challenges and consequently improve the effectiveness of a multi-domain traceability solution. A prototype of the required tooling to support the approach is implemented with EMF and atop Epsilon; it consists of an implementation of the proposed structures (models) and model management operations to support traceability. Moreover, the approach is illustrated in the context of two safety-critical projects where multi-domain traceability is required to underpin certification arguments.
منابع مشابه
Towards a Multi-Domain Model-Driven Traceability Approach
Traceability is an important concern in projects that span different engineering domains. In such projects, traceability can be used across the engineering lifecycle and therefore is multi-domain, involving heterogeneous models. We introduce the concept and challenges of multidomain traceability and explain how it can be used to support traceability scenarios. We describe how to build a multi-d...
متن کاملCombining event-based and state-based modeling for railway verification
This paper is concerned with the formal modelling of signalling and point control in the domain of railway engineering. Rules for handling interlocking to ensure railway safety and liveness are often intricate and challenging to verify. We develop a CSP||B model taking a “natural modelling” approach, where the models are as close as possible to the domain model, providing traceability and ease ...
متن کاملModelling and application: A research domain in mathematics education
Abstract: The main purpose of this paper is introducing modelling and application as a research domain in mathematics education through reviewing related literature. The first purpose of this review is to give a more clear meaning of modelling and application, and base on that, makes the distinction between modelling in mathematics education & modelling in other scientific domains. There are so...
متن کاملAutomatic Generation of Trace Links in Model-driven Software Development
Traceability data provides the knowledge on dependencies and logical relations existing amongst artefacts that are created during software development. In reasoning over traceability data, conclusions can be drawn to increase the quality of software. The paradigm of Model-driven Software Engineering (MDSD) promotes the generation of software out of models. The latter are specified through diffe...
متن کاملSpecification of CPN models into MAS platform for the modelling of social policy issues: FUPOL project
Simulation transparency is becoming more crucial in the decision making process when quantitative computer tools are used to justify some strategies. The coloured petri net (CPN) formalism is a promising modelling approach to foster simulation transparency by means of state space traceability tools, which have been proven to be useful for modelling system dynamics with conflict patterns. E-gove...
متن کامل